Nuprl Definition : branch
11,40
postcript
pdf
if
p
:
P
then
A
(
p
) else
B
fi == case
d
of inl(
p
) =>
A
(
p
) | inr(
x
) =>
B
latex
clarification:
branch(
P
;
d
;
p
.
A
(
p
);
B
) == case
d
of inl(
p
) =>
A
(
p
) | inr(
x
) =>
B
latex
Definitions
case
b
of inl(
x
) =>
s
(
x
) | inr(
y
) =>
t
(
y
)
FDL editor aliases
branch
origin